47,84€(IVA inc.)
Engineering secure software and systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
- Barthe, Gilles
- 978-3-642-28165-5
- 2012-01-30
47,84€(IVA inc.)
Formal aspects of security and trust: 8th International Workshop, Fast 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
- Barthe, Gilles
- 978-3-642-29419-8
- 2012-04-10
72,75€(IVA inc.)
Formal methods for open object-based distributed systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
- Barthe, G.
- 978-3-540-68862-4
- 2008-07-01
61,15€(IVA inc.)
Foundations of Probabilistic Programming
- Barthe, Gilles
- 978-1-108-48851-8
- 2020-12-03
47,79€(IVA inc.)
Foundations of security analysis and design V: FOSAD 2008/2009 tutorial lectures
- Aldini, Alessandro
- 978-3-642-03828-0
- 2009-08-17
72,80€(IVA inc.)
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Barthe, Gilles
- 978-3-642-24689-0
- 2011-10-21
67,55€(IVA inc.)
Trustworthy global computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
- Barthe, G.
- 978-3-540-78662-7
- 2008-04-01
72,75€(IVA inc.)
Verification, model checking, and abstract interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Barthe, Gilles
- 978-3-642-11318-5
- 2010-02-01